On the definition of reduction for infinite termsCOQUAND, C; COQUAND, T.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1996, Vol 323, Num 5, pp 553-558, issn 0764-4442Article

A syntactical proof of the Marriage LemmaCOQUAND, Thierry.Theoretical computer science. 2003, Vol 290, Num 1, pp 1107-1113, issn 0304-3975, 7 p.Article

Une preuve directe du théorème d'ultime obstination = A direct proof of the ultimate obstination theoremCOQUAND, T.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1992, Vol 314, Num 6, pp 489-492, issn 0764-4442Article

Categories of embeddingsCOQUAND, T.Theoretical computer science. 1989, Vol 68, Num 3, pp 221-237, issn 0304-3975, 17 p.Article

Sur un théorème de Kronecker concernant les variétés algébriques = On a theorem of Kronecker about algebraic setsCOQUAND, Thierry.Comptes rendus. Mathématique. 2004, Vol 338, Num 4, pp 291-294, issn 1631-073X, 4 p.Article

An intuitionistic proof of Tychonoff's theoremCOQUAND, T.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 28-32, issn 0022-4812Article

La section sanitaire-thermiqueBLANC-COQUAND.Revue Générale de l'Enseignement des Déficients Auditifs. 1976, Vol 68, Num 3, pp 138-146Article

Une théorie des constructionsCoquand, Thierry.1985, 91 p., isbn 2-7261-0412-6Thesis

An analysis of Tamsey's theoremCOQUAND, T.Information and computation (Print). 1994, Vol 110, Num 2, pp 297-304, issn 0890-5401Article

INTERVENTION.COQUAND.1867; BULL. SOC. GEOL. FR; FRA; 1867,68, VOL. 25, P. 911 A 913Miscellaneous

REPONSE A LA NOTE DE M.S.GRAS, LUE DANS LA SEANCE AU 15JANVIER 1844.COQUAND.1843; BULL. SOC. GEOL. FR; FRA; 1843, VOL. 1, P. 414 A 417Miscellaneous

TERRAINS COMPRIS ENTRE LES SABLES-D'OLONNE ET LA GACHERE, ET PRINCIPALEMENT SUR L'AMPHIBOLITE DE LA BAUDUERE, ET LA TOURBE MARINE DE LA COTE-DES-GRANGES (VENDEE).COQUAND.1835; BULL. SOC. GEOL. FR; FRA; 1835, VOL. 7, P. 74 A 83Miscellaneous

LA CRAU, SA COMPOSITION GEOLOGIQUE ET SON ORIGINE.COQUAND.1869; BULL. SOC. GEOL. FR; FRA; 1869, VOL. 26, P. 541 A 583Miscellaneous

SUR LE PARALLELISME DES ASSISES CRETACEES ET TERTIAIRES DES BASSINS DU RHONE ET DE PARIS.COQUAND.1848; BULL. SOC. GEOL. FR; FRA; 1848,49, VOL. 6, P. 365 A 374Miscellaneous

EXCURSION DANS LES BOUCHES DU RHONE ET LE VAR.COQUAND.1841; BULL. SOC. GEOL. FR; FRA; 1841,42, VOL. 13, P. 473 A 493Miscellaneous

MEMOIRE SUR LES APTYCHUS.COQUAND.1841; BULL. SOC. GEOL. FR; FRA; 1841, VOL. 12, P. 376 A 391Miscellaneous

COMPTE RENDU DE LA COURSE QUI A ETE FAITE AUX ENVIRONS DE TOULON.COQUAND.1864; BULL. SOC. GEOL. FR; FRA; 1864, VOL. 21, P. 465 A 470Miscellaneous

REPLIQUE A UNE NOTE DE M. RAULIN SUR L'AGE DES SABLES DE LA SAINTONGE ET DU PERIGORD.COQUAND.1851; BULL. SOC. GEOL. FR; FRA; 1851, VOL. 8, P. 25 A 34Miscellaneous

SUR LES GRYPHOEA.COQUAND.1841; BULL. SOC. GEOL. FR; FRA; 1841, VOL. 12, P. 271 A 272Miscellaneous

OBSERVATIONS SUR LA NOTE DE M. PERON SUR LES CALCAIRES A ECHINIDES DE RENNES-LES-BAINS.COQUAND.1877; BULL. SOC. GEOL. FR; FRA; 1877,78, VOL. 6, P. 326 A 337Miscellaneous

EXURSION DE SEPTEMBRE 1857 AUX ENVIRONS D'ANGOULEME.COQUAND.1856; BULL. SOC. GEOL. FR; FRA; 1856,57, VOL. 14, P. 851 A 902Miscellaneous

DESCRIPTION GEOLOGIQUE DU TERRAIN PERMIEN DU DEPARTEMENT DE L'AVEYRON ET DE CELUI DES ENVIRONS DE LODEVE (HERAULT).COQUAND.1855; BULL. SOC. GEOL. FR; FRA; 1855, VOL. 12, P. 128 A 151Miscellaneous

NOTE SUR LES SABLES ET LES ARGILES FERRIFERES DU PLATEAU-CENTRAL.COQUAND.1855; BULL. SOC. GEOL. FR; FRA; 1855, VOL. 12, P. 395 A 397Miscellaneous

ANALYSE D'UN TRAVAIL INTITULE - DESCRIPTION DES TERRAINS PRIMAIRES ET I- GNES DU DEPARTEMENT DU VAR.COQUAND.1848; BULL. SOC. GEOL. FR; FRA; 1848,49, VOL. 6, P. 289 A 307Miscellaneous

NOTE SUR LES MINERAIS DE FER DES DEPARTEMENTS DE L'AVEYRON, DU LOT, DE LOT-ET-GARONNE, DU TARN, DE TARN-ET-GARONNE ET DE LA CHARENTE-INFERIEURE.COQUAND.1848; BULL. SOC. GEOL. FR; FRA; 1848,49, VOL. 6, P. 328 A 365Miscellaneous